Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
121	PLDI: U: Type Assisted Synthesis of Recursive Transformers on Algebraic Datatypes Jeevana Priya Inala MIT Advisor: Armando Solar-Lezama Add to Reading List Source URL: www.acm.org Language: English - Date: 2016-06-08 12:49:34 Software engineering Declarative programming Computer programming Functional programming Theoretical computer science Data types Type theory Computability theory Lambda calculus Recursion Algebraic data type Anonymous function
122	Sampling-Based Spacecraft Motion Planning Ashley Clark, Lucas Janson, Joseph Starek, Edward Schmerling, and Marco Pavone (PI) Autonomous Systems Laboratory, Department of Aeronautics and Astronautics, Stanford University Add to Reading List Source URL: scpnt.stanford.edu Language: English - Date: 2013-11-20 20:27:41 Search algorithms Robot kinematics Mathematics Information science Information retrieval Motion planning Theoretical computer science Spacecraft Minimum spanning tree Docking and berthing of spacecraft Rapidly-exploring random tree Real-time Search
123	Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:37 Formal methods Software engineering Unified Modeling Language Concurrency Concurrency control Construction and Analysis of Distributed Processes Synchronization Theoretical computer science UML tool Mentor Graphics Computing
124	ISSN No: International Journal & Magazine of Engineering, Technology, Management and Research A Peer Reviewed Open Access International Journal Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2015-06-09 08:18:16 Theoretical computer science Models of computation Logic gates Digital electronics Quantum information science Reversible computing Thermodynamics Toffoli gate Fredkin gate Adder Quantum computing Quantum circuit
125	An Introduction Tim Johannessen & Franz Nelißen GAMS Software GmbH GAMS Development Corp. Add to Reading List Source URL: www.gams.com Language: English - Date: 2015-09-16 13:20:03 Computer algebra systems General Algebraic Modeling System Numerical software Software Mathematical analysis Theoretical computer science Gams Operations research Scientific modeling Algebraic modeling language Modeling language BARON
126	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2011-07-07 14:48:20 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
127	Panepist mio Patr¸n Poluteqnik Sqol Tm ma Mhqanik¸n Hlektronik¸n Upologist¸n kai Plhroforik c Dr. Alèxioc K. Kapìrhc Add to Reading List Source URL: students.ceid.upatras.gr Language: English - Date: 2009-01-09 08:44:56 Theoretical computer science European Symposium on Algorithms Algorithm
128	Quantum Psyche B.E. Baaquie, F. Carminati, J. Demongeot, G. Galli Carminati, F. Martin, M. Teodorani February 18, 2015 Add to Reading List Source URL: ejid.name Language: English - Date: 2015-03-11 09:30:25 Quantum information science Quantum mechanics Theoretical computer science Physics Quantum information Quantum mind Quantum theory Qubit Quantum entanglement Controlled NOT gate Index of physics articles Quantum computing
129	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture